Design of CMU Common Lisp

• Contents
• System Architecture
  • Package and File Structure
    • RCS and build areas
      • Configuration Management
      • RCS Branches
    • Releases
    • Source Tree Structure
    • Package structure
  • System Building
    • Compiling the C Startup Code
    • Compiling the Lisp Code
    • Building Core Images
  
  
• Compiler Organization
  • Compiler Overview
  • The Implicit Continuation Representation
    • Tail sets
    • Hairy function representation
    • ICR representation of non-local exits
    • Block compilation
    • Entry points
  • ICR conversion
    • Canonical forms
    • Inline functions
    • Compilation policy
    • Notes
  • Local call analysis
  • Find components
  • ICR optimize
    • Goals for ICR optimizations
    • Flow graph simplification
    • Forward ICR optimizations
    • Backward ICR optimizations
  • Type checking
  • Constraint propagation
  • ICR finalize
  • Environment analysis
  • Virtual Machine Representation Introduction
  • Global TN assignment
  • Local TN assignment
  • Control optimization
  • VMR conversion
    • Stack analysis
    • Non-local exit
  • Copy propagation
  • Representation selection
  • Lifetime analysis
    • Flow analysis
    • Conflict detection
  • Packing
  • Code generation
  • Assembly
  • Dumping
  • User Interface
    • Error Message Utilities
    • Source Paths
  
  
• Compiler Retargeting
  • Storage bases and classes
  • Type system parameterization
  • VOP Definition
    • Lifetime model
    • VOP Cost model
    • Efficiency notes
  • Assembler Retargeting
  • Writing Assembly Code
  • Required VOPS
    • Function Call
      • Registers and frame format
      • Full call
      • Unknown values return
      • External Entry Points
    • Calls
  • Standard Primitives
  • Customizing VMR Conversion
    • Constant Operands
    • Supporting Multiple Hardware Configurations
    • Special-case VMR convert methods
  
  
• Run-Time system
  • The Type System
  • The Info Database
  • Debugger Information
    • The Debug-Info Structure
  • Object Format
    • Tagging
    • GC Comments
    • Structures
    • Fixnums
    • Other-immediates
    • Data-Blocks and Header-Word Format
    • Data-Blocks and Other-immediates Typing
    • Strings
    • Symbols and NIL
    • Bignums
    • Code Data-Blocks
    • Closure Format
    • Function call
    • Memory Layout
    • System Pointers
  • Memory Management
    • Stacks and Globals
    • Heap Layout
    • Garbage Collection
  • Interface to C and Assembler
  • Low-level debugging
  • Core File Format
  • Fasload File Format
    • General
    • Strategy
    • Fasload Language
  • Glossary